Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
📈Monotonic Logic
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·46m·
Discuss: Hacker News
🔗Lexical Scoping
Show HN: Semlib – Semantic Data Processing
github.com·5h·
Discuss: Hacker News
🔍ML Language
Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🗂️Type Indexing
Balance between refactoring and inheritance in your code
github.com·7h·
Discuss: Hacker News
🧪Compiler Testing
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·5d
🎰Parsing Machines
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·5h
📊Pratt Parsers
Show HN: Building an open-source agentic terminal
davehudson.io·2h·
Discuss: Hacker News
💻Terminal UIs
The Capability-Tractability Tradeoff (2023)
buttondown.com·2d·
Discuss: Hacker News
⚡Partial Evaluation
Analog IMC Attention Mechanism For Fast And Energy-Efficient LLMs (FZJ, RWTH Aachen)
semiengineering.com·2h
🗺️Region Inference
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·3h·
Discuss: Hacker News
🎮Language Ergonomics
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·4h·
Discuss: www.blogger.com
🔮Lisp Interpreters
The Shift from ML Engineering to AI Engineering
bryananthonio.com·1h·
Discuss: Hacker News
🔍ML Language
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·6h
🧠Semantic Parsing
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·15h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Productive AI Programming Using Forced Context Distillation
jx0.ca·6h·
Discuss: Hacker News
💬Interactive REPLs
[CS 2881r AI Safety] [Week 1] Introduction
lesswrong.com·22h
🏰Capability Machines
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·21h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
StringWa.rs on GPUs: Databases & Bioinformatics 🦠
ashvardanian.com·20m·
Discuss: Hacker News, r/programming
🚀Tokenizer Performance
Planarizing matchings
11011110.github.io·1d
🎨Graph Coloring